

all: run
###########################################################################################
run: $(front_end)
	make -C front_end 
	make -C back_end
	g++ -MMD -DSTL_HASH_TR1 -Wall -O2 -I front_end/ -I front_end/util -DHAVE_CPP -o run main.cpp front_end/cbmc/cbmc.o back_end/back_end.o -lgmp -I ./back_end/include -L ./back_end/lib -lyices -g

clean:
	make -C front_end clean
	rm -f run*
